dans le grade d'ingénieur de l'industrie et des mines